﻿% Dạng 1_3 Câu hỏi về da/lông/vỏ Semantic
% author: Toan

cau_hoi(lambda(X, EXP )) --> nghi_van(NV), thong_tin(EXP) ,dau_hoi,{arg(1,EXP,NV),arg(1,EXP,X)}.

nghi_van(DTNV) --> doi_tuong_nghi_van , tu_nghi_van(DTNV).

doi_tuong_nghi_van --> [con,vật].

doi_tuong_nghi_van --> [con].

doi_tuong_nghi_van --> [loài].
 
tu_nghi_van(X) --> [gì].

tu_nghi_van(X) --> [nào].

thong_tin(EXP) --> dong_tu(EXP), doi_tuong_thong_tin(DTTT), {arg(2, EXP, DTTT)}.

dong_tu(da(X, Y)) --> [có].

doi_tuong_thong_tin(DTTT) --> [DTTT].

dau_hoi --> [?].











